1. Algorithmic decision theory :

پدیدآورنده : Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs (editions.)

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Automatic theorem proving, Congresses,Computer algorithms, Congresses,Decision making-- Data processing, Congresses

رده :

QA76

.

9

.

A96

A38

2011

2. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings

پدیدآورنده : Jacques Calmet...]et al.[

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2385

3. Automated Deduction – CADE-25

پدیدآورنده : \ Amy P. Felty , Aart Middeldorp (Eds.)

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها

رده :

QA

76

.

9

.

A96

2015

E-Book

,

4. Automated Deduction : Proceedings

پدیدآورنده : M.E. Stickel )ed.(

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

449

5. Automated Deduction in Geometry

پدیدآورنده : \ Francisco Botana , Pedro Quaresma (Eds.)

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Computer graphics,گرافیک کامپیوتری,a03,a03,Geometry -- Data processing -- Congresses.,Automatic theorem proving -- Congresses.,هندسه -- داده پردازی -- کنگره ها

رده :

T

385

.

A92

2015

E-Book

,

6. Automated Reasoning

پدیدآورنده : / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Automatic theorem proving--Congresses,Computer logic--Congresses

7. Automated Reasoning with Analytic Tableaux and Related Methods

پدیدآورنده : \ Hans De Nivelle (Ed.)

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :

QA

76

.

9

.

A96

2015

E-Book

,

8. Automated Technology for Verification and Analysis

پدیدآورنده : \ Bernd Finkbeiner, Geguang Pu, Lijun Zhang

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Automatic theorem proving -- Congresses.,Artificial intelligence -- Congresses.,اثبات قضیه خودکار -- کنگره ها , ه‍وش‌ م‍ص‍ن‍وع‍ی‌ -- کنگره ها

رده :

QA76

.

9

.

A96

A82

2015

E-Book

,

9. Automated deduction--CADE-22

پدیدآورنده : Renate A. Schmidt (ed.)

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Automatic theorem proving, Congresses,Logic, Symbolic and mathematical, Congresses

رده :

QA76

.

9

.

A96

I57

2009eb

10. Automated deduction, CADE-14

پدیدآورنده : William McCune, ed.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.

11. Automated deduction -- CADE-21

پدیدآورنده : / Frank Pfenning (ed.)

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses

رده :

QA

,

76

.

9

,.

A96

,

I57

,

2007

12. Automated deduction--CADE 16

پدیدآورنده : / Harald Ganzinger (ed.)

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses

رده :

QA

,

76

.

9

,.

A96

,

I57

,

1999

13. Automated deduction - CADE-17

پدیدآورنده : / David McAllester (ed.)

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses

رده :

QA

,

76

.

9

,.

A96

,

I57

,

2000

14. Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

پدیدآورنده : Andrei Voronkov )ed.(

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

2392

15. Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, proceedings

پدیدآورنده : Leonardo de Moura )ed.(

کتابخانه: Library of Razi Metallurgical Research Center (Tehran)

موضوع : ، Automatic theorem proving Congresses,، Logic, Symbolic and mathematical Congresses

رده :

QA

76

.

9

.

A96

2017

16. Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

پدیدآورنده : Claude Kirchner, Helene Kirchner, )eds.(

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1421

17. Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

پدیدآورنده : Franz Baader )ed.(

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

2741

18. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings

پدیدآورنده : Alan Bundy )ed.(

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

814

19. Automated deduction CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

پدیدآورنده : M.A. McRobbie, J.K. Slaney )eds.(

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1104

20. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings

پدیدآورنده : David McAllester )ed.(

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1831